update{-}spec{-}dom(${\it upd}$;$k$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$$k$, $x$$>$ $\in$ dom(${\it upd}$)